download all originals or converted (max 1 GB)
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| disable.s | Text File | 75 | 2.1 KB | 1996-07-16 |
| dispatch.s | Text File | 208 | 5.2 KB | 1996-07-16 |
| enable.s | Text File | 68 | 1.2 KB | 1996-07-16 |
| forbid.s | Text File | 59 | 1.3 KB | 1996-07-16 |
| init.c | C/C++ Source or Header | 209 | 5.3 KB | 1996-07-16 |
| makefile | Makefile | 13 | 263 b | 1996-07-16 |
| permit.s | Text File | 59 | 1.0 KB | 1996-07-16 |
| preparecontext.c | C/C++ Source or Header | 84 | 1.7 KB | 1996-07-16 |
| special.s | Text File | 16 | 238 b | 1996-07-16 |
| supervisor.s | Text File | 85 | 1.7 KB | 1996-07-16 |
| switch.s | Text File | 100 | 2.1 KB | 1996-07-16 |